Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
21	Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Logic Mathematical logic Abstraction Proof theory Propositional calculus Predicate logic Logical truth First-order logic Tautology Existential graph Cut-elimination theorem Well-formed formula
22	Applied Ontology–138 DOIAOIOS Press 109 Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:44 Ontology Metaphysics Anatomy Logic Joints Predicate logic Knowledge representation Information science Mereology Mereotopology Synovial fluid Interphalangeal joints of the hand
23	From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 05:00:45 Logic Mathematics Abstraction Mathematical logic Mathematical notation Predicate logic Elementary mathematics Metalogic Substitution Term Lambda calculus Structure
24	Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:14 Logic Model theory Abstraction Mathematical logic Semantics Predicate logic Metalogic Structure Homomorphism Interpretation Symbol First-order logic
25	Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document? Add to Reading List Source URL: www.gogognome.nl Language: English - Date: 2016-04-05 02:15:07 Formal methods Theoretical computer science Software engineering Mathematics Hoare logic Static program analysis Algorithm Precondition Predicate transformer semantics Loop invariant
26	CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations Add to Reading List Source URL: www.scss.tcd.ie Language: English - Date: 2014-12-22 10:26:21 Logic Mathematical logic Mathematics Predicate logic Semantics Quantification Model theory Mathematical notation First-order logic FO Free variables and bound variables Quantifier
27	Mereotopology: A Theory of Parts and Boundaries Barry Smith Department of Philosophy and Member of the Center for Cognitive Science University at Buffalo Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2002-03-18 11:17:58 Mathematical logic Mathematics Logic Ontology General topology Predicate logic Topology Mereotopology Mereology Closure First-order logic Topological space
28	Fixing Shin’s Reading Algorithm for Peirce’s Existential Graphs Frithjof Dau Technische Universit¨ at Dresden Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Philosophy Logic Abstraction Charles Sanders Peirce Graph theory Philosophical logic Existential graph Predicate logic Charles Sanders Peirce bibliography Typographic ligature Graph First-order logic
29	Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-09-22 18:21:56 Logic Mathematical logic Abstraction Quantification Predicate logic Model theory Semantics Formal languages Quantifier First-order logic Constructible universe Universal quantification
30	Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:03 Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic